Merge pull request #1748 from antonio-nino-diaz-arm/an/build-flags
authorAntonio Niño Díaz <[email protected]>
Tue, 15 Jan 2019 09:55:38 +0000 (09:55 +0000)
committerGitHub <[email protected]>
Tue, 15 Jan 2019 09:55:38 +0000 (09:55 +0000)
build: Support BL-specific build flags


Trivial merge